uint64 empty_uint64
